Skip to content

Conversation

@kapunahelewong
Copy link

To help with docs migration efforts, this PR updates syntax for Mintlify:

This PR covers a few of the files mentioned in bazel-contrib/bazel-docs#103, which links to a list of docs that need to be updated at https://github.com/bazel-contrib/bazel-docs/blob/main/copy-upstream-docs.sh.

@github-actions github-actions bot added the awaiting-review PR is awaiting review from an assigned reviewer label Jan 9, 2026
Copy link

@gemini-code-assist gemini-code-assist bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Code Review

This pull request updates several documentation files to align with the Mintlify syntax as part of a documentation migration. The changes include adding blank lines after the front matter and removing legacy syntax for external links and header IDs. The modifications are consistent and correctly applied across all files. The changes look good.

@kapunahelewong
Copy link
Author

I've also started a draft PR to remove these files from the to-do list: bazel-contrib/bazel-docs#181

@iancha1992 iancha1992 added team-OSS Issues for the Bazel OSS team: installation, release processBazel packaging, website team-Documentation Documentation improvements that cannot be directly linked to other team labels labels Jan 9, 2026
@meteorcloudy meteorcloudy requested a review from fweikert January 14, 2026 16:25
@fweikert
Copy link
Member

fweikert commented Jan 14, 2026

Thanks! Unfortunately this will break existing bookmarks, but right now Mintlify doesn't seem to offer support for custom heading anchors (https://github.com/orgs/mintlify/discussions/1063). Let's merge it.

@fweikert fweikert added awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally and removed awaiting-review PR is awaiting review from an assigned reviewer labels Jan 14, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally team-Documentation Documentation improvements that cannot be directly linked to other team labels team-OSS Issues for the Bazel OSS team: installation, release processBazel packaging, website

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants